$a$ $\oplus$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}join(product{-}deq(Knd;Id;KindDeq;IdDeq);$a$;$b$)